Yuri Matiyasevich adalah seorang matematikawan Rusia yang terkenal karena membuktikan bahwa masalah ke-10 Hilbert adalah masalah yang tidak dapat diputuskan. Pembuktiannya menunjukkan bahwa tidak ada algoritma umum yang dapat menentukan solusi untuk semua persamaan Diophantine.